VBasis(void) VBasis(VBasis& v) VBasis& operator=(VBasis& b) void debug_out(ostream& c, int indent)
Standard housekeeping functions.